CIF applications. IV.CIFtbx: a tool box for manipulating CIFs

An interactive tool for manipulating logical formulae

DNA Barcoding: a new tool with wide array of applications

DNA barcoding is a new term introduced in to scientific literatures by Hebert and coworkers almost a decade ago. The concept of barcoding alone is well-known to the public: a series of black bars printed on many commercial products (Universal Product Code), which are used to distinguish different products. Advances made in molecular biology and molecular techniques late 20th century e.g. sequen...

1 A Tool Box for Compiler Construction

This paper presents a set of tools supporting the construction of nearly every compiler phase. Design goals of this tool box have been practical usability, significantly reduced effort for compiler construction, and high quality of the generated compilers. Especially efficiency should be competitive to hand crafting. Currently modules in the target languages C and Modula-2 can be generated. Fir...

Femlisp| a Tool Box for Solving Partial

A Tool for Manipulating Expressive and Structural Hierarchies in Music

The T-R Trees software system is a set of software tools for the graphical and programmatic manipulation of expressive and structural hierarchies in music composition. It is loosely based on the hierarchies described in Fred Lerdahl and Ray Jackendoof’s landmark book A Generative Theory of Tonal Music—weighted grouping and prolongational reduction trees (also called tension-relaxation or T-R tr...